WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
نویسندگان
چکیده
Abstract When classes of structures are not first-order definable, we might still try to find a nice description. There two common ways for doing this. One is expand the language, leading notions pseudo-elementary classes, and other allow infinite conjuncts disjuncts. In this paper examine intersection. Namely, address question: Which both ${\mathcal {L}}_{\omega _1, \omega }$ -elementary? We that these exactly can be defined by an infinitary formula has no disjunctions.
منابع مشابه
Generalized Quantifiers, Infinitary Logics, and Abstract Elementary Classes
In this paper we discuss extensions of first order logic both to infinitary logics and by adding some generalized quantifiers. In a certain sense this topic is orthogonal to the usual study of generalized quantifiers. That program considers the basic properties: compactness, interpolation, etc. of various logics. An abstract elementary class is a generalization of the class of models of a speci...
متن کاملan investigation into translation of cultural concepts by beginner and advance student using think – aloud protocols
this research aims at answering the questions about translation problems and strategies applied by translators when translating cultural concepts. in order to address this issue, qualitative and quantitative study were conducted on two groups of subjects at imam reza international university of mashhad. these two groups were assigned as beginner and advanced translation students (10 students). ...
Excellent Abstract Elementary Classes Are Tame
The assumption that an AEC is tame is a powerful assumption permitting development of stability theory for AECs with the amalgamation property. Lately several upward categoricity theorems were discovered where tameness replaces strong set-theoretic assumptions. We present in this article two sufficient conditions for tameness, both in form of strong amalgamation properties that occur in nature....
متن کاملWhich Classes of Origin Graphs Are Generated by Transducers
We study various models of transducers equipped with origin information. We consider the semantics of these models as particular graphs, called origin graphs, and we characterise the families of such graphs recognised by streaming string transducers. 1998 ACM Subject Classification F.4.3 Formal Languages
متن کاملWhich truth values in fuzzy logics are definable?
In fuzzy logic, every word or phrase describing uncertainty is represented by a real number from the interval 0; 1]. There are only denu-merable many words and phrases, and continuum many real numbers; thus, not every real number corresponds to some commonsense degree of uncertainty. In this paper, for several fuzzy logic, we describe which numbers are describing such degrees, i.e., in mathemat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2023
ISSN: ['1943-5894', '1079-8986']
DOI: https://doi.org/10.1017/bsl.2023.1